Categories of containers
نویسنده
چکیده
We introduce the notion of containers as a mathematical formalisation of the idea that many important datatypes consist of templates where data is stored. We show that containers have good closure properties under a variety of constructions including the formation of initial algebras and final coalgebras. We also show that containers include strictly positive types and shapely types but that there are containers which do not correspond to either of these. Further, we derive a representation result classifying the nature of polymorphic functions between containers. We finish this paper with an application to the theory of shapely types and refer to a forthcoming paper which applies this theory to differentiable types.
منابع مشابه
Evaluation of Ecological Factors Regarding the Use of Disposable Containers
Introduction: Excessive consumption of disposable containers, and specifically the plastic ones, has adverse effects on ecosystem and the community's health. To identify ecological factors (individual, interpersonal and social) related to these containers, this study aimed to specify the most important factors according to the participants. Methods: This was a qualitative content analysis co...
متن کاملPriming infants to use pattern information in an object individuation task: the role of comparison.
There is evidence that 4.5-month-olds do not always use surface pattern to individuate objects but that they can be primed to attend to pattern differences through select experiences. For example, if infants are first shown events in which the pattern of an object predicts its function (dotted containers pound and striped containers pour), they will attend to pattern differences in a subsequent...
متن کاملThe Contemporary Theory of Metaphor
inferences as metaphorical spatial inferences Spatial inferences are characterized by the topological structure of image-schemas. We have seen cases such as CATEGORIES ARE CONTAINERS and LINEAR SCALES ARE PATHS where image-schema structure is preserved by metaphor and where abstract inferences about categories and linear scales are metaphorical versions of spatial inferences about containers an...
متن کاملQuantifying capital goods for collection and transport of waste.
The capital goods for collection and transport of waste were quantified for different types of containers (plastic containers, cubes and steel containers) and an 18-tonnes compacting collection truck. The data were collected from producers and vendors of the bins and the truck. The service lifetime and the capacity of the goods were also assessed. Environmental impact assessment of the producti...
متن کاملConstructing Strictly Positive Types
We introduce container functors as a representation of data types providing a new conceptual analysis of data structures and polymorphic functions. Our development exploits Type Theory as a convenient way to define constructions within locally cartesian closed categories. We show that container morphisms can be full and faithfully interpreted as polymorphic functions (i.e. natural transformatio...
متن کامل